3 results
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 27 February 2023, pp. 1011-1032
- Print publication:
- December 2023
-
- Article
- Export citation
Bisimilarity is not Borel†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 7 / October 2017
- Published online by Cambridge University Press:
- 09 December 2015, pp. 1265-1284
-
- Article
-
- You have access
- Export citation
Bisimulations for non-deterministic labelled Markov processes†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 1 / February 2012
- Published online by Cambridge University Press:
- 26 September 2011, pp. 43-68
-
- Article
- Export citation